Məntiq
Məntiq düzgün düşünmə elmidir. Ona həm formal məntiq həm qeyri formal məntiq daxildir. Formal məntiq deduktiv baxış nöqtəsinə əsaslanmış nəticələrə arxalanaraq məntiqi nəticəyə qəlir. Formal məntiqdə mövzusundan və məzmunundan asılı olmayaraq, fikirdən arqumentlərin necə yaranıdığına nəzərdən baxılır. Qeyri-formal məntiq düşüncədəki səhvləri, tənqidi düşüncə və mübahisə nəzəriyyəsini araşdırır. Qeyri-formal məntiq gündəlik danışdıqımız dili yəni təbii dildə ifadə olunan arqumentlərə baxır və onları araşdırır.
Məntiq elminin inkişafında Aristotel və Qottlob Fregenin rolu böyükdür. Məntiq əsas olaraq iki hissəyə bölünür. Ənənəvi məntiq üzərində qurulmuş Formal məntiq və formal məntiq üzərində qurulmuş Riyazi məntiq.
Məntiq bütün elmlərin instrumenti kimi götürülür.
İnduktiv sarğaclar
Sarğac — bir dielektrik makara (mandren və ya karkas) üzərində müəyyən sayda sarılmış makara (sarğı) qrupudur.
İstismar yerinə görə, içərisi boş qalarsa havalı induktiv sarğac, dəmir bir nüvə keçirilərsə nüvəli induktiv sarğac deyilir. Şəkildə induktivlik simvolları verilmişdir.
hava nüvəli sarğac;
iki qat hava nüvəli sarğac;
hava nüvəli tənzimlənən sarğac (yüksək gücə malik);
hava nüvəli tənzimlənən sarğac (az gücə malik);
ferrit(dəmir) nüvəli sarğac;
ikiqat dəmir nüvəli sarğac;
dəmir nüvəli tənzimlənən sarğac(böyük güclü);
dəmir nüvəli tənzimlənən sarğac(az gücə malik).
Məlum olduğu kimi, bir keçiricidən cərəyan keçirildikdə, keçirici ətrafında bir maqnit sahəsi yaranır. Bu sahə kağız üzərində dairələr şəklindəki qüvvə xətləri ilə əks edilir. Bir sarğacda AC cərəyan keçirildikdə, Şəkidə göründüyü kimi, sarğac sarğılarını əhatə edən bir maqnit sahə yaranır. Cərəyan artıb-azalmasına və istiqamət dəyişməsinə bağlı olaraq sarğacdan keçən qüvvə xətləri çoxalıb azalaraq istiqamətini dəyişdirir. Sarğaca bir DC gərginlik tətbiq olunarsa, maqnit sahə meydana gəlməyib sarğac dövrədə bir müqavimət xüsusiyyətini göstərər.
İnduktivliyi L (hn) olan dövrədə cərəyan çox az müddətdə t (san) ərzində kiçik İ qədər dəyişərsə, belə dövrədə öz-özünə induksiyalanma е.h.q-si yaranacaqdır:
E=-L(Δİ/Δt)
Bu düsturdakı mənfi işarəsi onu göstərir ki, öz-özünə-induksiya е.h.q-si cərəyanın dəyişilməsinə əks təsir edir.
İnduktiv seysmiklik
İnduktiv seysmiklik — adətən Yer qabığındakı gərginlikləri və gərginlikləri dəyişdirən insan fəaliyyəti nəticəsində yaranan zəlzələlər və təkanlardır.
İnduksiya edilmiş seysmiklik adətən yer qabığındakı gərginlikləri və gərginlikləri dəyişdirən insan fəaliyyəti nəticəsində yaranan zəlzələlər və təkanlardır. Ən çox induksiya olunan seysmiklik aşağı maqnituda da olur. 2004-cü ildən 2009-cu ilə qədər hər il orta hesabla iki M4 hadisəsi və 15 M3 hadisəsi olan Kaliforniyadakı The Geysers geotermal zavodu kimi bəzi yerlərdə müntəzəm olaraq daha böyük zəlzələlər olur. İnsan tərəfindən törədilən zəlzələlər bazası (HiQuake) elmi əsaslarla təklif edilən bütün bildirilmiş seysmiklik hallarını sənədləşdirir.. 2015-ci ildə nəşr olunan Birləşmiş Ştatların Geoloji Xidməti (USGS) tərəfindən törədilən zəlzələlərlə bağlı davam edən çoxillik tədqiqatın nəticələri göstərir ki, Oklahomada 1952-ci ildə 5,7 bal gücündə El Reno zəlzələsi kimi əhəmiyyətli zəlzələlərin əksəriyyəti çirkab suların dərin inyeksiyası nəticəsində baş vermiş ola bilər. Neft sənayesi tərəfindən Oklahoma kimi neft və qaz hasilatı ştatlarında çoxlu sayda seysmik hadisələr, hasilat prosesinin bir hissəsi kimi yaranan tullantı sularının vurulması, həcminin artması ilə əlaqədardır. Xüsusən 2010-cu ildən bəri Mərkəzi və Şərqi Amerika Birləşmiş Ştatlarının (CEUS) bir çox bölgələrində zəlzələlərin nisbətləri son zamanlarda nəzərə çarpacaq dərəcədə artmışdır və elmi tədqiqatlar bu artan fəaliyyətin əksəriyyətini dərin utilizasiya quyularına tullantı sularının vurulması ilə əlaqələndirmişdir. İnduksiya edilmiş seysmiklik-karbon qazının tutulması və saxlanması, karbon qazının vurulması və iqlim dəyişikliyinin təsirini azaltmaq məqsədi ilə qalıq yanacaq istehsalından və ya yer qabığındakı digər mənbələrdən tutulan karbon dioksidi sekvestr etmək məqsədi daşıyır. Verdon, J.P. "Carbon capture and storage, geomechanics and induced seismicity activity".
Arqument (məntiq)
Arqument ― yönəldilmə və nəticəçıxarmadan ibarət bir sıra təsdiq cümlələr (mühakimələr).
Məişət dilində arqument (sübut) — məntiq mühakiməsi, hansı ki ya ayrıca, ya da digərləri ilə birlikdə müəyyən bir ifadənin (tezisin) həqiqiliyini sübut etmək məqsədilə istifadə olunur. Bir tezisin doğru hesab edilməsi üçün, düzgün məntiqi hökmlərin köməyi ilə tezisi sübut etmək üçün kifayət edən bütün arqumentlər özündə həqiqi məlumatları ehtiva etməlidir.
Bulanıq məntiq
Qeyri-səlis məntiq, həmçinin bax bulanıq məntiq və ya qeyri-səlis çoxluq nəzəriyyəsi — dəyişənlərin həqiqət dəyərinin 0 və 1 arasında istənilən həqiqi ədəd ola biləcəyi çoxqiymətli məntiq forması. Qismən həqiqət anlayışını idarə etmək üçün istifadə olunur. Burada həqiqət dəyəri tamamilə doğru və tamamilə yalan arasında dəyişə bilər. Bunun əksinə olaraq, Bul məntiqində dəyişənlərin həqiqət dəyərləri yalnız 0 və ya 1 tam ədədlər ola bilər.
Qeyri-səlis məntiq termini 1965-ci ildə Azərbaycan riyaziyyatçısı Lütfi Zadənin qeyri-səlis çoxluqlar nəzəriyyəsi təklifi ilə təqdim edilmişdir. Qeyri-səlis məntiq 1920-ci illərdən, xüsusilə Lukaseviç və Tarski tərəfindən sonsuz qiymətli məntiq kimi öyrənilmişdir.
Qeyri-səlis məntiq insanların qeyri-dəqiq və rəqəmi olmayan məlumatlara əsaslanaraq qərarlar qəbul etməsinin müşahidəsinə əsaslanır. Qeyri-səlis modellər və ya qeyri-səlis çoxluqlar qeyri-müəyyənliyi və qeyri-dəqiq məlumatı təmsil edən riyazi vasitələrdir. Bu modellər qeyri-müəyyən olan məlumatları tanımaq, təmsil etmək, manipulyasiya etmək, şərh etmək və istifadə etmək qabiliyyətinə malikdir.
Qeyri-səlis məntiq idarəetmə nəzəriyyəsindən süni intellektə qədər bir çox sahəyə tətbiq edilmişdir.
Dialektik məntiq
Dialektik məntiq — konseptual və məntiqi üsul. Bir çox fərqli mənada qiymətləndirilən dialektik anlayışından əldə edilən bir məntiq formasıdır. Birincisi, bir anlayışdan digərinə ziddiyyətləri məhv edərək irəliləmək üsuluna verilən addır. Qarşıdurmalar içində irəliləyərək bu qarşıdurmaları aradan qaldıraraq nəticəyə çatmağı istəyən məntiqi düşünmə şəklidir. Əvvəlcə Heraclitus dialektik məntiqdən istifadə etmişdir. Dialektik məntiq xüsusilə Hegeldə zirvəyə çatmışdır. Marksın əlində isə materialist bir məzmuna sahib olmuşdur. Bütün bu nəzəriyyələrdə dialektik məntiq ümumi mənada ziddiyyət və nisbilik anlayışları ilə işləyən məntiq şəklində baş verir. Formal məntiqin əsas konsepsiyaları və kateqoriyaları bir kənara qoyulmur, eyni fikir və kateqoriyalar isə ziddiyyət və nisbilik prinsipləri baxımından yenidən rasionaldır.
Formal məntiq
Formal məntiq — İnsan mühakimələrinin konkret məzmununu nəzərə almadan onların formasını — (strukturunu), quruluşunu öyrənir. Başqa sözlə, formal məntiq konkret məzmunu nəzərə almadan əqli nəticə və isbat qaydalarında, mühakimə, anlayışlar arasında əlaqənin və məntiqi nəticə çıxarılmasının qanunlarını öyrənir. Formal məntiqin əsasını Aristotel qoymuşdur.
Formal məntiq – təfəkkür haqqında elm.
== Ədəbiyyat ==
R. Əliquliyev, S. Şükürlü, S. Kazımova. Elmi fəaliyyətdə istifadə olunan əsas terminlər. Bakı, İnformasiya Texnologiyaları, 2009, 201 s.
Kombinasiyalı məntiq
Kombinasiyalı məntiq — Kombinasiyalı məntiqi dövrələrin dizaynı problemlərin ifadəsi ilə başlayıb, məntiqi dövrənin layihələndirilməsi ilə başa çatır. Kombinasiyalı məntiqi dövrələrin dizaynına aid məntiqi addımlar aşağıdakı kimi xülasə edilə bilər:
Problem müəyyənləşdirilir.
Giriş dəyişkənlərinin və tələb olunan çıxış dəyişkənlərinin sayı müəyyən edilir.
Giriş və çıxış kimi istifadə olunan dəyişkənlər adlandırılır.
Giriş və çıxış dəyişkənləri arasındakı əlaqəni müəyyən edən bir həqiqət cədvəli qurulur.
Hər bir çıxış üçün müvafiq Boolean funksiyasını yazılır.
Əldə edilən Boole funksiyaları sadələşdirilir.
Məntiqi dövrə tərtib edilir.
Dizayn və layihələndimə prosesinin məntiqi addımları içərisində ən çox diqqət edilməsi lazım olan addım sözlərlə çərçivəsini çəkdiyimiz əməliyyatların həqiqilik cədvəli halına gətirilməsidir. Çünki bu mərhələdə ediləcək bir səhv, daha sonrakı bütün addımlarda səhv əməliyyat edilməsi nəticəsini yaradır.
Kombinatorial məntiq
Kombinatorial məntiq — formal məntiqi sistemlərin və ya kalkulyasiyanın əsasları (yəni izah edilməli və təhlil edilməməsi lazım olmayan) ilə əlaqəli riyazi məntiqin bir istiqaməti.
Diskret riyaziyyatda kombinatorial məntiq hesablama proseslərini izah etdiyi üçün lambda hesablanması ilə sıx əlaqəlidir. Yarandığı gündən bu yana kombinatorial məntiq və lambda hesablamaları qeyri-klassik məntiq kimi təsnif edilmişdir. Məsələ burasındadır ki, kombinatorial məntiq 1920-ci illərdə və lambda hesablamaları — 1940-cı illərdə kifayət qədər müəyyən edilmiş bir məqsədi olan metamatikanın bir qolu kimi — riyaziyyata əsas vermək üçün yaranmışdı. Bu o deməkdir ki, həqiqi xarici mühitdə baş verən prosesləri və hadisələri əks etdirən, tələb olunan "tətbiq olunan" riyazi nəzəriyyə — mövzu nəzəriyyəsi quraraq, "saf" metatoriyasını mövzu nəzəriyyəsindən imkanlarını və xüsusiyyətlərini müəyyənləşdirmək üçün bir qabıq kimi istifadə etmək olar. Tezliklə məlum oldu ki, bu sistemlərin hər ikisini proqramlaşdırma dilləri kimi qəbul etmək olar (bax kombinatorial proqramlaşdırma).
İndiyə qədər bu dillərin hər ikisi yalnız kompüter elmləri sahəsində bütün tədqiqat kütləsi üçün əsas olmur, həm də proqramlaşdırma nəzəriyyəsində geniş istifadə olunur. Kompüterlərin hesablama gücünün artması nəzəri (məntiqi və riyazi) biliklərin əhəmiyyətli bir hissəsinin avtomatlaşdırılmasına və lambda hesablamaları ilə birlikdə kombinatorial məntiq obyektlər baxımından düşüncə üçün əsas kimi qəbul edilir.
== Əsas anlayış ==
Kombinatorial məntiqdə tək yerlik bir funksiya və bir funksiyanın bir arqumentə (tətbiqə) tətbiq olunması əsas anlayışlardır. Funksiya ümumiyyətlə başa düşülür və arqumentlər və dəyərlər kimi bərabər səviyyədə olan obyektlərləişləyə bilər.
Məntiq Cəfərov
Məntiq Bahadur oğlu Cəfərov (25 yanvar 1954, Gəncə) — Azərbaycan Texnologiya Universitetinin Tədris işləri üzrə prorektoru, fizika elmləri doktoru, professor.
Məntiq Bahadur oğlu Cəfərov 1979-cu ildən 2004-cü ilədək, 25 il müddətində Azərbaycan Texnologiya Universitetinin fizika kafedrasında laborant, baş laborant, laboratoriya müdiri, assistent, baş müəllim, hazırlıq kursunun rəhbəri və dosent vəzifələrində işləmişdir. 2004-cü ilin noyabr ayından Azərbaycan Dövlət Aqrar Universitetinin dosenti, 2012-2013-cü illərdə həmin universitetin fizika və riyaziyyat kafedrasının professoru olmuşdur. 22 iyul 2013-ci il tarixdən Azərbaycan Texnologiya Universitetinin tədris işləri üzrə prorektorudur.
1985-1989-cu illərdə Bakı Dövlət Universitetinin Yarımkeçiricilər fizikası kafedrasında məqsədli aspirant olmuşdur, 1989-cu ildə namizədlik, 2011-ci ildə doktorluk dissertasiyasını müdafiə etmişdir. Fizika üzrə elmlər doktoru, professordur.
Azərbaycan Respublikası Prezidentinin 18 may 2010-cu il tarixli, sərəncamı ilə Azərbaycanda təhsilin inkişafındakı xidmətlərinə görə "Tərəqqi" medalı ilə təltif olunmuşdur.
Məntiq Cəfərov xarici və yerli jurnallarda dərc edilmiş 97 elmi əsərin, 1 dərs vəsaitinin müəllifidir. 40-dan çox müxtəlif miqyaslı konfranslarda iştirak etmişdir.
Теплополевое гашение экстионной фотопроводности Ga Se(Ge) //Физика и техника полупроводников.
Məntiq elementi
Məntiqi element — Bul funksiyasını yerinə yetirən fiziki qurğudur. O, bir və ya bir neçə məntiqi girişlərdə məntiqi əməliyyatı yerinə yetirir və sadə məntiqi çıxışları göstərir. Məntiq elementləri ilk növbədə elektron açarlar kimi fəaliyyət göstərən tranzistorlar və diodlar istifadə edərək yerinə yetirilir, həmçinin molekullar,optika, elektromaqnit relelər və hətta mexaniki elementlər istifadə edərək qurula bilər.
yapışdırıcı məntiq — (ing. glue logic, ru. связующая логика) – kompüterin bir əsas hissəsini başqa bir hissə ilə birləşdirmək üçün zəruri olan nisbətən sadə məntiqi sxemlər. Məsələn, mikroprosessorların bir çoxu mərkəzi prosessor (CPU) ilə yaddaş (MEMORY) arasında yapışdırıcı məntiqin olmasını tələb edir.
İsmayıl Calallı (Sadıqov), "İnformatika terminlərinin izahlı lüğəti", 2017, "Bakı" nəşriyyatı, 996 s.
Məntiq fəlsəfəsi
Məntiq fəlsəfəsi — məntiq fəlsəfəsinin məqsədi məntiq elminin əsas konsepsiyalarını aydınlaşdırmaq və onun prinsiplərini əsaslandırmaqdır.
Riyazi məntiq
Riyazi məntiq — formal məntiqin əsas qanunlarına istinad edərək, riyazi dil və riyazi metodların tətbiqi ilə məntiqi proseslərin, mühakimələrin qanunauyğunluqlarını araşdırır. Riyazi məntiqin əsasını qoyan ingilis riyaziyyatçısı Corc Bul olmuşdur.
Riyazi məntiqin əsasını Deduktiv nəzəriyyə təşkil edir.
Tərif (məntiq)
Tərif, definisiya (lat. definitio — "hədd, sərhəd") — sözün və ya ifadənin mənasını təsvir edən cümlə; onun müəyyən bir anlayışa (ümumi anlayış, cins, sinif) aid olduğunu vurğulamaq və adın müəyyən edildiyi sinifdəki fərqli xüsusiyyətini göstərməklə adın mahiyyətini açan (atributları) məntiqi əməliyyat. Beləliklə, tərif ümumi anlayışdan və xüsusi fərqdən və ya müəyyənedicidən ibarətdir.
V. Boçarov və V. Markinə görə, tərif linqvistik ifadələrə (dil terminlərinə) ciddi şəkildə sabit məna verməkdən ibarət olan məntiqi prosedurdur .
Konnotativ təriflər də adlandırılan intensional təriflər, arzu olunan şeyi müəyyən şeylər toplusundan fərqləndirmək üçün zəruri və kifayət qədər şərtləri müəyyən edir. İntensional tərif aşağıdakıları ehtiva etməlidir:
obyektin xassələrinin təsviri, eyni dəstdən başqa obyektlərlə müqayisədə təyin olunanı fərqləndirən xüsusiyyətləri;
çoxluqdan seçim qaydalarını göstərməklə terminin mənasını izah etmək;
digər anlayışların digər tərifləri ilə müqayisədə ən yaxın anlayışın və fərqləndirici xüsusiyyətlərin göstəricisi.
Ekstensional təriflər bu tərifin altına düşən bütün obyektlərin açıq siyahısına gəlir. Məsələn, "dünya müharibəsi"nin tərifini tarixçilərin "dünya müharibələri" olaraq təyin etdikləri bütün müharibələri sadalamaqla vermək olar.
Ekstensional təriflər birbaşa (bütün obyektlər açıq şəkildə göstərildikdə) və ya dolayı ola bilər. Birbaşa ekstensional tərif bəzən sadalanan tərif adlanır.
Dünya Məntiq Günü
Dünya Məntiq Günü (ing. World Logic Day) — 2019-cu ilin noyabr ayından başlayaraq hər il 14 yanvar tarixində qeyd olunan beynəlxalq bir gündür. Dünya Məntiq Günü məntiqin intellektual tarixini, konseptual əhəmiyyətini və praktik təsirlərini daha geniş ictimaiyyətin diqqətinə çatdırmaq niyyətindədir.
== Tarixi ==
14 yanvar Dünya Məntiq Gününü qeyd etmək üçün seçilən tarix, Kurt Hödelin ölüm tarixinə və iyirminci əsrin ən görkəmli məntiqçilərindən olan Alfred Tarskinin doğum tarixinə uyğundur.
== Elan ==
Ümumdünya Məntiq Gününün elan edilməsi 2019-cu ilin ortalarında YUNESKO icra heyətinə təklif edildi. 2019-cu ilin oktyabrında YUNESKO icra heyətinin 207-ci iclasında müzakirə və qəbul edilmiş və YUNESKO-nun 40-cı Baş Konfransına təklif olunmuşdur. 26 noyabr 2019-cu il tarixində 40-cı Baş Konfransda 14 yanvar - Beynəlxalq Fəlsəfə və Humanist Araşdırmalar Şurası tərəfindən koordinasiyalı Dünya Məntiq Günü elan edilmişdir.
== Qeyd edilir ==
YUNESKO-nun elan edilməsindən sonra birinci Ümumdünya Məntiq Günü YUNESKO-nun baş direktoru Odri Azulay bəyanatla çıxış edərək məntiqin vacibliyini vurğuladı:
İyirmi birinci əsrdə – həqiqətən, indi həmişəkindən daha çox – məntiq intizamı xüsusilə vaxtında, cəmiyyətlərimiz və iqtisadiyyatımız üçün son dərəcə vacibdir. Məsələn, informatika və informasiya-kommunikasiya texnologiyaları məntiqi və alqoritmik mülahizələrə əsaslanır.
2020-ci ildə Dünya Məntiq Günü 35 ölkədə təxminən altmış tədbirlə qeyd olundu.
Qeyri-səlis məntiq
Qeyri-səlis məntiq, həmçinin bax bulanıq məntiq və ya qeyri-səlis çoxluq nəzəriyyəsi — dəyişənlərin həqiqət dəyərinin 0 və 1 arasında istənilən həqiqi ədəd ola biləcəyi çoxqiymətli məntiq forması. Qismən həqiqət anlayışını idarə etmək üçün istifadə olunur. Burada həqiqət dəyəri tamamilə doğru və tamamilə yalan arasında dəyişə bilər. Bunun əksinə olaraq, Bul məntiqində dəyişənlərin həqiqət dəyərləri yalnız 0 və ya 1 tam ədədlər ola bilər.
Qeyri-səlis məntiq termini 1965-ci ildə Azərbaycan riyaziyyatçısı Lütfi Zadənin qeyri-səlis çoxluqlar nəzəriyyəsi təklifi ilə təqdim edilmişdir. Qeyri-səlis məntiq 1920-ci illərdən, xüsusilə Lukaseviç və Tarski tərəfindən sonsuz qiymətli məntiq kimi öyrənilmişdir.
Qeyri-səlis məntiq insanların qeyri-dəqiq və rəqəmi olmayan məlumatlara əsaslanaraq qərarlar qəbul etməsinin müşahidəsinə əsaslanır. Qeyri-səlis modellər və ya qeyri-səlis çoxluqlar qeyri-müəyyənliyi və qeyri-dəqiq məlumatı təmsil edən riyazi vasitələrdir. Bu modellər qeyri-müəyyən olan məlumatları tanımaq, təmsil etmək, manipulyasiya etmək, şərh etmək və istifadə etmək qabiliyyətinə malikdir.
Qeyri-səlis məntiq idarəetmə nəzəriyyəsindən süni intellektə qədər bir çox sahəyə tətbiq edilmişdir.
Qeyri səlis məntiq
Qeyri-səlis məntiq, həmçinin bax bulanıq məntiq və ya qeyri-səlis çoxluq nəzəriyyəsi — dəyişənlərin həqiqət dəyərinin 0 və 1 arasında istənilən həqiqi ədəd ola biləcəyi çoxqiymətli məntiq forması. Qismən həqiqət anlayışını idarə etmək üçün istifadə olunur. Burada həqiqət dəyəri tamamilə doğru və tamamilə yalan arasında dəyişə bilər. Bunun əksinə olaraq, Bul məntiqində dəyişənlərin həqiqət dəyərləri yalnız 0 və ya 1 tam ədədlər ola bilər.
Qeyri-səlis məntiq termini 1965-ci ildə Azərbaycan riyaziyyatçısı Lütfi Zadənin qeyri-səlis çoxluqlar nəzəriyyəsi təklifi ilə təqdim edilmişdir. Qeyri-səlis məntiq 1920-ci illərdən, xüsusilə Lukaseviç və Tarski tərəfindən sonsuz qiymətli məntiq kimi öyrənilmişdir.
Qeyri-səlis məntiq insanların qeyri-dəqiq və rəqəmi olmayan məlumatlara əsaslanaraq qərarlar qəbul etməsinin müşahidəsinə əsaslanır. Qeyri-səlis modellər və ya qeyri-səlis çoxluqlar qeyri-müəyyənliyi və qeyri-dəqiq məlumatı təmsil edən riyazi vasitələrdir. Bu modellər qeyri-müəyyən olan məlumatları tanımaq, təmsil etmək, manipulyasiya etmək, şərh etmək və istifadə etmək qabiliyyətinə malikdir.
Qeyri-səlis məntiq idarəetmə nəzəriyyəsindən süni intellektə qədər bir çox sahəyə tətbiq edilmişdir.
Qeyri-səlis məntiq nəzəriyyəsi
Qeyri-səlis məntiq, həmçinin bax bulanıq məntiq və ya qeyri-səlis çoxluq nəzəriyyəsi — dəyişənlərin həqiqət dəyərinin 0 və 1 arasında istənilən həqiqi ədəd ola biləcəyi çoxqiymətli məntiq forması. Qismən həqiqət anlayışını idarə etmək üçün istifadə olunur. Burada həqiqət dəyəri tamamilə doğru və tamamilə yalan arasında dəyişə bilər. Bunun əksinə olaraq, Bul məntiqində dəyişənlərin həqiqət dəyərləri yalnız 0 və ya 1 tam ədədlər ola bilər.
Qeyri-səlis məntiq termini 1965-ci ildə Azərbaycan riyaziyyatçısı Lütfi Zadənin qeyri-səlis çoxluqlar nəzəriyyəsi təklifi ilə təqdim edilmişdir. Qeyri-səlis məntiq 1920-ci illərdən, xüsusilə Lukaseviç və Tarski tərəfindən sonsuz qiymətli məntiq kimi öyrənilmişdir.
Qeyri-səlis məntiq insanların qeyri-dəqiq və rəqəmi olmayan məlumatlara əsaslanaraq qərarlar qəbul etməsinin müşahidəsinə əsaslanır. Qeyri-səlis modellər və ya qeyri-səlis çoxluqlar qeyri-müəyyənliyi və qeyri-dəqiq məlumatı təmsil edən riyazi vasitələrdir. Bu modellər qeyri-müəyyən olan məlumatları tanımaq, təmsil etmək, manipulyasiya etmək, şərh etmək və istifadə etmək qabiliyyətinə malikdir.
Qeyri-səlis məntiq idarəetmə nəzəriyyəsindən süni intellektə qədər bir çox sahəyə tətbiq edilmişdir.
Mülahizələr və onlar üzərində məntiq əməlləri
Hər bir elmin özünə məxsus ilkin anlayışları vardır ki, onlar baxılan nəzəriyyə hüdudları daxilində ciddi məntiqi tərifə malik deyil. Riyazi məntiqin belə anlayışları sırasına “mülahizə”, “məntiq əməlləri”, “predikat” kimi anlayışlar daxildir. Belə anlayışların “tərifi” adi dilin qanunauyğunluqlarından istifadə olunmaqla, obyektin əsas xüsusiyyətlərini ifadə etməklə verilir, yəni anlayış öz xarakterik xüsusiyyətləri ilə təsvir olunur.
Tərif 1. Mülahizə elə nəqli cümləyə deyilir ki, onun doğru yaxud yalan olduğunu hökm etmək mümkün olsun.
Əlbəttə, nəqli cümlə anlayışı dəqiq tərif olunmadığı üçün onun doğru və ya yalan olması kriteriyası, ümumi halda, intuitiv olaraq müəyyən olunur. Verilən cümlənin doğru olması ona qarşı “
D
{\displaystyle D}
” doğruluq qiymətinin qarşı qoyulması, yalan oması isə “
Y
{\displaystyle Y}
” doğruluq qiymətinin qarşı qoyulması deməkdir. Bəzən bunların yerinə
1
{\displaystyle 1}
və
0
{\displaystyle 0}
ədədlərindən də istifadə olunur.
Misallar.
1.